Works by Piero A. Bonatti

( view other items matching `Piero A. Bonatti`, view all matches )
5 found
Order:
  1.  5
    Reasoning with infinite stable models.Piero A. Bonatti - 2004 - Artificial Intelligence 156 (1):75-111.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  3
    On the undecidability of logics with converse, nominals, recursion and counting.Piero A. Bonatti & A. Peron - 2004 - Artificial Intelligence 158 (1):75-96.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  12
    A false sense of security.Piero A. Bonatti - 2022 - Artificial Intelligence 310 (C):103741.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  1
    Erratum to: Reasoning with infinite stable models [Artificial Intelligence 156 (1) (2004) 75–111].Piero A. Bonatti - 2008 - Artificial Intelligence 172 (15):1833-1835.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  5
    Real-time reasoning in OWL2 for GDPR compliance.Piero A. Bonatti, Luca Ioffredo, Iliana M. Petrova, Luigi Sauro & Ida R. Siahaan - 2020 - Artificial Intelligence 289 (C):103389.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark